Homomorfismi

Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan.

Homomorfismi on yksi abstraktin algebran peruskäsitteitä. Koska abstrakti algebra tutkii joukkoja ja niitä operaatioita, jotka antavat joukolle mielenkiintoisia lisärakenteita, kiinnostavimmat algebrallisia struktuureita koskevat funktiot ovat ne, jotka säilyttävät laskutoimituksen.

Tarkastellaan esimerkiksi luonnollisia lukuja ja niiden yhteenlaskua. Funktiolla, joka säilyttää laskutoimituksen, tulee olla seuraava ominaisuus: f(a + b) = f(a) + f(b). Huomaa, että esimerkiksi f(x) = 3x on homomorfismi, sillä f(a + b) = 3(a + b) = 3a + 3b = f(a) + f(b).

Homomorfismin ei tarvitse kuvata joukkoa samankokoiselle joukolle. Otetaan esimerkiksi lähtöjoukosta reaaliluvut ja niiden yhteenlasku, sekä maalijoukosta positiiviset reaaliluvut kertolaskuineen. Funktiolla, joka säilyttää laskutoimitukset, tulee olla seuraava ominaisuus kaikilla reaaliluvuilla a, b: f(a + b) = f(a) * f(b). Differentiaali­laskennan perusteista huomataan, että esimerkiksi funktiolla f(x) = e^x on tämä ominaisuus.

Tärkeä homomorfismeja koskeva tulos on, että laskutoimituksen neutraalialkiot kuvautuvat neutraalialkioiksi. Ensimmäisessä esimerkissä pätee f(0)=0 ja 0 on yhteenlaskun neutraalialkio. Toisessa esimerkissä f(0) = 1, koska 0 on yhteenlaskun neutraalialkio ja 1 on kertolaskun neutraalialkio.

Jos tarkastelemme monia annetun joukon operaatioita, niin tällöin kaikkien operaatioiden tulee säilyä, jotta funktio olisi homomorfismi kategoriateorian mielessä. Vaikka joukot voivat olla samat, voi kuvaus olla esimerkiksi ryhmähomomorfismi, mutta ei rengashomomorfismi, koska se ei välttämättä säilytä renkaan additiivista rakennetta.

Jos kahden algebrallisen rakenteen välillä on homomorfismi, niiden rakenteissa on jotain samankaltaista - sanoohan laskutoimituksen säilymisen ehto juuri, että ei ole väliä, lasketaanko laskut ennen vai jälkeen homomorfisen kuvauksen. Tämän samankaltaisuuden muotoilee tarkasti homomorfialause.